State(${\it ds}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:Id$\rightarrow$${\it ds}$($x$)?Top